#include <stdio.h>

long long f(long long n)
{
    if (n == 1)
    {
        return 7;
    }
    else if (n == 2)
    {
        return 11;
    }
    else
    {
        return f(n - 1) + f(n - 2);
    }
}

int main()
{
    long long n, i;
    long long attr[81];
    attr[1] = 7;
    attr[2] = 11;
    for (i = 3; i <= 8; i++)
    {
        attr[i] = f(i);
    }
    for (i = 1; i <= 8; i++)
    {
        attr[i] = attr[i] % 3;
    }
    while(scanf("%ld", &n) == 1)
    {
        n = n + 1;
        if(attr[n%8] == 0)
        {
            printf("yes\n");
        }
        else
        {
            printf("no\n");
        }
    }
    return 0;
}